650 research outputs found

    Deja Fu: a concurrency testing library for Haskell

    Get PDF

    Identifying the Independent Inertial Parameter Space of Robot Manipulators

    Full text link
    This paper presents a new approach to the problem of finding the minimum number of inertial parameters of robot manipulator dynamic equations of motion. Based upon the energy difference equation, it is equally applica ble to serial link manipulators as well as graph structured manipulators. The method is conceptually simple, compu tationally efficient, and easy to implement. In particular, the manipulator kinematics and the joint positions and velocities are the only inputs to the algorithm. Applica tions to a serial link and a graph structured manipulator are illustrated.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/67982/2/10.1177_027836499101000606.pd

    Lightning Imaging Sensor on the International Space Station: Assessments and Results from First Year Operations

    Get PDF
    Over two decades, the NASA Marshall Space Flight Center, the University of Alabama in Huntsville, and their partners have demonstrated the effectiveness and value of space-based lightning observations as a remote sensing tool for Earth science research and applications, and, in the process, established a robust global lightning climatology. The Lightning Imaging Sensor (LIS) on the Tropical Rainfall Measuring Mission (TRMM) provided global observations of tropical lightning for an impressive 17 years before that mission came to a close in April 2015. Now a space-qualified LIS, built as the flight spare for TRMM, has been installed on the International Space Station (ISS) for a minimum two year mission following its SpaceX launch on February 19, 2017. The LIS, flown as a hosted payload on the Department of Defense Space Test Program-Houston 5 (STP-H5) mission, was delivered to the ISS in the Dragon trunk and robotically installed in an Earth-viewing position on the outside of the ISS. Following successful activation and checkout, LIS has continuously observed the amount, rate, and radiant energy lightning within its field-of-view as it orbits the Earth. Placing LIS on the Space Station provides a great opportunity to not only extend the 17-year TRMM LIS record of tropical lightning measurements but also to expand that coverage to higher latitudes missed by the previous mission. Furthermore, this mission continues the important science focus to better understand the processes which cause lightning, as well as the connections between lightning and subsequent severe weather events. This understanding is a key to improving weather predictions and saving lives and property here in the United States and around the world. The LIS measurements, along with observations from the new Geostationary Lightning Mapper (GLM) operating on NOAA's newest weather satellites, the Geosynchronous Operational Environmental Satellite-16/17 (GOES-16/17), are being used to cross-validate both systems. An especially unique contribution from the ISS platform is the production of real-time lightning data, especially valuable for operational forecasting and warning applications over data sparse regions such as the oceans. Finally, LIS provides simultaneous and complementary observations with other ISS payloads such as the European Space Agency's Atmosphere-Space Interaction Monitor (ASIM) that is exploring the connection between thunderstorms and lightning with terrestrial gamma-ray flashes (TGFs). Leveraging TRMM's well-established processing and data handling assures that LIS data can be quickly delivered to users

    Changes in body weight and food choice in those attempting smoking cessation: a cluster randomised controlled trial

    Get PDF
    <p><b>Background:</b> Fear of weight gain is a barrier to smoking cessation and significant cause of relapse for many people. The provision of nutritional advice as part of a smoking cessation programme may assist some in smoking cessation and perhaps limit weight gain. The aim of this study was to determine the effect of a structured programme of dietary advice on weight change and food choice, in adults attempting smoking cessation.</p> <p><b>Methods:</b> Cluster randomised controlled design. Classes randomised to intervention commenced a 24-week intervention, focussed on improving food choice and minimising weight gain. Classes randomised to control received "usual care".</p> <p><b>Results:</b> Twenty-seven classes in Greater Glasgow were randomised between January and August 2008. Analysis, including those who continued to smoke, showed that actual weight gain and percentage weight gain was similar in both groups. Examination of data for those successful at giving up smoking showed greater mean weight gain in intervention subjects (3.9 (SD 3.1) vs. 2.7 (SD 3.7) kg). Between group differences were not significant (p=0.23, 95% CI -0.9 to 3.5). In comparison to baseline improved consumption of fruit and vegetables and breakfast cereal were reported in the intervention group. A higher percentage of control participants continued smoking (74% vs. 66%).</p> <p><b>Conclusions:</b> The intervention was not successful at minimising weight gain in comparison to control but was successful in facilitating some sustained improvements in the dietary habits of intervention participants. Improved quit rates in the intervention group suggest that continued contact with advisors may have reduced anxieties regarding weight gain and encouraged cessation despite weight gain. Research should continue in this area as evidence suggests that the negative effects of obesity could outweigh the health benefits achieved through reductions in smoking prevalence.</p&gt

    Clinical risk prediction for pre-eclampsia in nulliparous women: development of model in international prospective cohort

    Get PDF
    Objectives To develop a predictive model for pre-eclampsia based on clinical risk factors for nulliparous women and to identify a subgroup at increased risk, in whom specialist referral might be indicated

    Voting Technology, Vote-by-Mail, and Residual Votes in California, 1990-2010

    Get PDF
    This paper examines how the growth in vote-by-mail and changes in voting technologies led to changes in the residual vote rate in California from 1990 to 2010. We find that in California’s presidential elections, counties that abandoned punch cards in favor of optical scanning enjoyed a significant improvement in the residual vote rate. However, these findings do not always translate to other races. For instance, find that the InkaVote system in Los Angeles has been a mixed success, performing very well in presidential and gubernatorial races, fairly well for ballot propositions, and poorly in Senate races. We also conduct the first analysis of the effects of the rise of vote-by-mail on residual votes. Regardless of the race, increased use of the mails to cast ballots is robustly associated with a rise in the residual vote rate. The effect is so strong that the rise of voting by mail in California has mostly wiped out all the reductions in residual votes that were due to improved voting technologies since the early 1990s
    • …
    corecore